State-transition table